| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 505292 | ||
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 504831 | ||
| Vorlesung | 499606 | Mo 16:30-18:00 AH II (2350|111) (×12) Di 14:30-16:00 AH I (2350|028) (×10) Mi 14:00-15:00 AH I (2350|028) (×1) Fr 10:00-11:55 AH I (2350|028) (×1) | |||
| Übung | 499585 | Do 16:30-18:00 AH II (2350|111) (×10) | |||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 9 | 508371 | ||
| Vorlesung | 508160 | Mo 12:30-14:00 AH II (2350|111) (×13) Mi 12:30-14:00 AH I (2350|028) (×11) | |||
| Übung | 508159 | Do 16:30-18:00 IV (1010|141) (×10) | |||
| Diskrete und Kombinatorische Optimierung | Fach-/Modulprüfung | 9 | 509154 | ||
| Vorlesung | 506120 | Mo 09:30-12:00 SeMath (1950|008) (×1) Mo 14:30-16:00 IV (1010|141) (×1) Mo 14:30-16:00 S09 (1385|209) (×1) Mo 14:30-16:00 SeMath (1950|008) (×12) Do 14:30-16:00 IV (1010|141) (×2) Do 14:30-16:00 SeMath (1950|008) (×10) | |||
| Übung | 506121 | Mo 16:30-18:00 SeMath (1950|008) (×11) Mo 16:30-18:00 V (1010|213) (×1) Do 16:30-18:00 I (1010|101) (×2) Do 16:30-18:00 SeMath (1950|008) (×7) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 501638 | ||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 503629 | ||
| Übung | 507758 | Di 09:30-12:00 AH VI (2356|051) (×1) Do 10:00-13:00 AH II (2350|111) (×1) Fr 14:30-16:00 AH IV (2354|030) (×1) Fr 14:30-16:00 AH V (2356|050) (×10) | |||
| Vorlesung | 507759 | Mo 16:30-18:00 AH V (2356|050) (×10) Fr 10:30-12:00 AH V (2356|050) (×10) Fr 14:30-16:00 AH V (2356|050) (×1) | |||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 504847 | ||
| Introduction to Quantum Computing | Fach-/Modulprüfung | 6 | 521255 | ||
| Vorlesung | 520908 | Mo 12:30-14:00 AH III (2350|314.1) (×14) Fr 14:30-16:00 AH III (2350|314.1) (×9) | |||
| Übung | 520909 | Do 14:30-16:00 AH III (2350|314.1) (×10) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 504841 | ||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 504842 | ||
| Vorlesung/Übung | 508421 | Di 12:30-14:00 AH II (2350|111) (×12) Fr 10:30-12:00 AH III (2350|314.1) (×12) |